A Formal Account of WS-BPEL
نویسندگان
چکیده
We introduce Blite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. Blite formal presentation helps clarifying some ambiguous aspects of the WS-BPEL specification, which have led to engines implementing different semantics and, thus, undermined portability of WS-BPEL programs over different platforms. We illustrate the main features of Blite by means of many examples, some of which are also exploited to test and compare with each other the behaviour of three of the most known free WS-BPEL engines.
منابع مشابه
Using formal methods to develop WS-BPEL applications
In recent years, there has been an ever increasing acceptance of WS-BPEL as a standard language for orchestration of web services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task. In this paper, we firstly point out major loose points of the WS-BPEL specification by means of many examples, some of which are also exploited to test and compare ...
متن کاملA WSDL-based type system for asynchronous WS-BPEL processes
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. We focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. We present this langua...
متن کاملTowards modelling WS-BPEL using ws-calculus
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WS-BPEL, one of the most used XML-based standard languages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model the interactions among web service instances in a network context. We present this language as a process calcul...
متن کاملA Survey of Web services Orchestration and Choreography with Formal Models
The service-oriented architecture (SOA) promises a new generation of information systems applications based on a new set of standards for enabling self-describing interoperable Web services. Web service orchestration and choreography are both concerned with the composition of Web services to meet the needs of business processes. There are two important standards for modeling and implementing wo...
متن کاملBPEL-TC: Orchestration of Temporally Customized Web Services
WS-BPEL is way to orchestrate web services. It defines business processes that interact with external entities through web service operations using WSDL. The existing system defines service flow using Web Services based on WSDL. We have proposed BPEL-TC, an extension to existing WS-BPEL which uses temporally customized Web Services as a model for process decomposition and assembly. WSDL-TC hand...
متن کامل